Κ-stationary Subsets of Pκ+λ, Infinitary Games, and Distributive Laws in Boolean Algebras
نویسنده
چکیده
We characterize the (κ, λ,< μ)-distributive law in Boolean algebras in terms of cut and choose games G <μ(λ), when μ ≤ κ ≤ λ and κ <κ = κ. This builds on previous work to yield game-theoretic characterizations of distributive laws for almost all triples of cardinals κ, λ, μ with μ ≤ λ, under GCH. In the case when μ ≤ κ ≤ λ and κ = κ, we show that it is necessary to consider whether the κ-stationarity of Pκ+λ in the ground model is preserved by B. In this vein, we develop the theory of κ-club and κ-stationary subsets of Pκ+λ. We also construct Boolean algebras in which Player I wins G κ(κ +) but the (κ,∞, κ)-d.l. holds, and, assuming GCH, construct Boolean algebras in which many games are undetermined. §
منابع مشابه
Games and General Distributive Laws in Boolean Algebras
The games G 1 (κ) and G η <λ(κ) are played by two players in η +complete and max(η+ , λ)-complete Boolean algebras, respectively. For cardinals η, κ such that κ<η = η or κ<η = κ, the (η, κ)-distributive law holds in a Boolean algebra B iff Player 1 does not have a winning strategy in G 1 (κ). Furthermore, for all cardinals κ, the (η,∞)-distributive law holds in B iff Player 1 does not have a wi...
متن کاملStrong Compactness and a Partition Property
We show that if Part(κ, λ) holds for every λ ≥ κ, then κ is strongly compact. Let κ be a regular infinite cardinal, and let λ ≥ κ be a cardinal. Pκ(λ) denotes the set of all subsets of λ of size less than κ. Part(κ, λ) means that for every F : Pκ(λ) × Pκ(λ) → 2, there is a cofinal subset A of (Pκ(λ),⊆) such that F is constant on the set {(a, b) ∈ A × A : a ⊂ b}. This definition is due to Jech [...
متن کاملGlobal Co-stationarity of the Ground Model from a New Countable Length Sequence
Suppose V ⊆ W are models of ZFC with the same ordinals, and that for all regular cardinals κ in W , V satisfies κ. If W \ V contains a sequence r : ω → γ for some ordinal γ, then for all cardinals κ < λ in W with κ regular in W and λ ≥ γ, (Pκ(λ)) \ V is stationary in (Pκ(λ)) . That is, a new ω-sequence achieves global co-stationarity of the ground model.
متن کاملWeak compactness and no partial squares
We present a characterization of weakly compact cardinals in terms of generalized stationarity. We apply this characterization to construct a model with no partial square sequences. One of the striking features of weak compactness in the large cardinal hierarchy is the wide variety of characterizations of the concept. These characterizations meet many disparate areas of set theory, including me...
متن کاملThe Nonstationary Ideal on Pκ(λ) for Λ Singular
Let κ be a regular uncountable cardinal and λ > κ a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of Pκ(λ) and use this to prove that the nonstationary ideal on Pκ(λ) is nowhere precipitous. 0 Introduction Let κ be a regular uncountable cardinal and λ > κ a singular cardinal. Let Iκ,λ (respectively, NSκ,λ) denote the ideal of noncofinal (respectivel...
متن کامل